<?php
require_once '../config.php';
require_once '../db/get/user.php';
require_once '../util/msg.php';
require_once '../util/redirect.php';

handleLogout();

function handleLogout() {
  session_destroy();

  // XXX redirect to previous logged in page.
  sendback();
}

?>
